$\forall$$a$, $b$:$\mathbb{Q}$. ($\uparrow$q\_le($a$;$b$)) $\sim$ $a$ $\leq$ $b$